1241. Catalogue of Artificial Intelligence Tools
پدیدآورنده : edited by Alan Bundy, Lincoln Wallen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
1242. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده : Curien, Pierre-Louis
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Formal languages
رده :
QA
267
.
3
.
C87
1993
1243. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده : Curien, Pierre-Louis
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Formal languages
رده :
QA
267
.
3
.
C87
1993
1244. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده : Pierre- Louis Curien
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Formal languages
رده :
QA
,
267
.
3
,.
C87
1245. Categories and computer science
پدیدآورنده : Walters, R. F. C.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing ، Categories )Mathematics(,، Computer programming
رده :
QA
169
.
W3
1246. Categories and computer science
پدیدآورنده : / R.F.C. Walters
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Categories (Mathematics)--Data processing,Electronic digital computers--Programming
1247. Categories and computer science
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Categories (Mathematics) ; Data processing ; Computer programming ;
1248. Category theory and computer science
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C388
76
.
6
1987
1249. Category theory and computer science :
پدیدآورنده : D.H. Pitt [and others] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
رده :
QA75
.
5
.
S86
1991
1250. Category theory and computer science
پدیدآورنده : / D.H. Pitt ... [et al.] (ed.
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer programming--Congresses,Categories (Mathematics)--Congresses
رده :
QA
,
76
.
6
,.
C3882
,
1989
1251. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
283
1252. Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Edinburgh, U.K., September 7-9, 1987 : proceedings, Lecture notes in comuter science
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C388
1987
1253. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Electronic digital computers -- Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
6
.
C3882
1989
1254. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings
پدیدآورنده : D.H. Pitt...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
389
1255. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
1256. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C3882
76
.
6
1989
1257. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings, Lecture notes in comuter science
پدیدآورنده : D.H. Pitt ... ]et al.[ )ed.(
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C3882
1989
1258. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده : David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
1259. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
پدیدآورنده : / Eugenio Moggi, Giuseppe Rosolini(eds.)
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
1260. Cellular genetic algorithms
پدیدآورنده : / Enrique Alba and Bernabae Dorronsoro
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Nonlinear programming.,Genetic algorithms.
رده :
QA
T
,
57
.
8
,
A43
,
2008
